A Tool to Edit and Verify IoT System Architecture Model

The spread of IoT (Internet of Things) categorized into a type of cyber-physical system makes future systems larger and more complex than ever. Various components such as cloud services, edges, devices and energy suppliers play important roles when constructing an IoT system. Moreover, components in such systems have various relationships to other components. Hence, a simple and extendable specification notation for grasping such relationships is sought for architectural design of IoT systems. When we design such IoT Systems, effective verification also should be provided so that we can identify critical system faults. We present a tool to edit and verify IoT system architecture models. The tool extends a UML editor to enable easy editing of architectural models, and verifies them using the logic programming language Prolog. Keywords-IoT, Architectural Model, Logic Programming, Verification, Twin Peaks Model.